Reasoning about embedded dependencies using inclusion dependencies

The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions

A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies is proposed using Datalog expressions. We show that many interesting properties of schema elements can be systematically determined this way. The expressiveness of the proposed analysis is exemplarily shown with the problem of computing induced functional dependencies for derived relations. The propagation of functional dependencies plays an important role in data integration and query optimization but represents an undecidable problem in general. And yet, our rule-based analysis covers all relational operators as well as linear recursive expressions in a systematic way showing the depth of analysis possible by our proposal. The analysis of functional dependencies is well-integrated in a uniform approach to analyzing dependencies between schema elements in general.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Non-plasmonic nanoantennas for surface enhanced spectroscopies with ultra-low heat conversion

Nanoplasmonics has recently revolutionized our ability to control light on the nanoscale. Using metallic nanostructures with tailored shapes, it is possible to efficiently focus light into nanoscale field 'hot spots'. High field enhancement factors have been achieved in such optical nanoantennas, enabling transformative science in the areas of single molecule interactions, highly enhanced nonlinearities and nanoscale waveguiding. Unfortunately, these large enhancements come at the price of high optical losses due to absorption in the metal, severely limiting real-world applications. Via the realization of a novel nanophotonic platform based on dielectric nanostructures to form efficient nanoantennas with ultra-low light-into-heat conversion, here we demonstrate an approach that overcomes these limitations. We show that dimer-like silicon-based single nanoantennas produce both high surface enhanced fluorescence and surface enhanced Raman scattering, while at the same time generating a negligible temperature increase in their hot spots and surrounding environments

High-Efficiency Second Harmonic Generation from a Single Hybrid ZnO Nanowire/Au Plasmonic Nano-Oligomer

We introduce a plasmonic-semiconductor hybrid nanosystem, consisting of a ZnO nanowire coupled to a gold pentamer oligomer by crossing the hot-spot. It is demonstrated that the hybrid system exhibits a second harmonic (SH) conversion efficiency of ∼3 × 10–5%, which is among the highest values for a nanoscale object at optical frequencies reported so far. The SH intensity was found to be ∼1700 times larger than that from the same nanowire excited outside the hot-spot. Placing high nonlinear susceptibility materials precisely in plasmonic confined-field regions to enhance SH generation opens new perspectives for highly efficient light frequency up-conversion on the nanoscale.Fil: Grinblat, Gustavo Sergio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Física. Laboratorio de Electrónica Cuántica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires; Argentina. Universidad Nacional de Tucumán. Facultad de Ciencias Exactas y Tecnología. Departamento de Física. Laboratorio de Física del Solido; ArgentinaFil: Rahmani, Mohsen. Imperial College London; Reino UnidoFil: Cortés, Emiliano. Imperial College London; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Caldarola, Martín. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Física. Laboratorio de Electrónica Cuántica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires; ArgentinaFil: Comedi, David Mario. Universidad Nacional de Tucumán. Facultad de Ciencias Exactas y Tecnología. Departamento de Física. Laboratorio de Física del Solido; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Maier, Stefan A.. Imperial College London; Reino UnidoFil: Bragas, Andrea Veronica. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Física. Laboratorio de Electrónica Cuántica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires; Argentin

Room temperature plasmon laser by total internal reflection

Plasmon lasers create and sustain intense and coherent optical fields below light's diffraction limit with the unique ability to drastically enhance light-matter interactions bringing fundamentally new capabilities to bio-sensing, data storage, photolithography and optical communications. However, these important applications require room temperature operation, which remains a major hurdle. Here, we report a room temperature semiconductor plasmon laser with both strong cavity feedback and optical confinement to 1/20th of the wavelength. The strong feedback arises from total internal reflection of surface plasmons, while the confinement enhances the spontaneous emission rate by up to 20 times.Comment: 8 Page, 2 Figure

A single-photon transistor using nano-scale surface plasmons

It is well known that light quanta (photons) can interact with each other in nonlinear media, much like massive particles do, but in practice these interactions are usually very weak. Here we describe a novel approach to realize strong nonlinear interactions at the single-photon level. Our method makes use of recently demonstrated efficient coupling between individual optical emitters and tightly confined, propagating surface plasmon excitations on conducting nanowires. We show that this system can act as a nonlinear two-photon switch for incident photons propagating along the nanowire, which can be coherently controlled using quantum optical techniques. As a novel application, we discuss how the interaction can be tailored to create a single-photon transistor, where the presence or absence of a single incident photon in a ``gate'' field is sufficient to completely control the propagation of subsequent ``signal'' photons.Comment: 20 pages, 4 figure

Surface Plasmon Polariton Excitation in Metallic Layer Via Surface Relief Gratings in Photoactive Polymer Studied by the Finite-Difference Time-Domain Method

We performed numerical investigations of surface plasmon excitation and propagation in structures made of a photochromic polymer layer deposited over a metal surface using the finite-difference time-domain method. We investigated the process of light coupling into surface plasmon polariton excitation using surface relief gratings formed on the top of a polymer layer and compared it with the coupling via rectangular ridges grating made directly in the metal layer. We also performed preliminary studies on the influence of refractive index change of photochromic polymer on surface plasmon polariton propagation conditions

Anisotropic Structure of the Order Parameter in FeSe0.45Te0.55 Revealed by Angle Resolved Specific Heat

The symmetry and structure of the superconducting gap in the Fe-based superconductors are the central issue for understanding these novel materials. So far the experimental data and theoretical models have been highly controversial. Some experiments favor two or more constant or nearly-constant gaps, others indicate strong anisotropy and yet others suggest gap zeros ("nodes"). Theoretical models also vary, suggesting that the absence or presence of the nodes depends quantitatively on the model parameters. An opinion that has gained substantial currency is that the gap structure, unlike all other known superconductors, including cuprates, may be different in different compounds within the same family. A unique method for addressing this issue, one of the very few methods that are bulk and angle-resolved, calls for measuring the electronic specific heat in a rotating magnetic field, as a function of field orientation with respect to the crystallographic axes. In this Communication we present the first such measurement for an Fe-based high-Tc superconductor (FeBSC). We observed a fourfold oscillation of the specific heat as a function of the in-plane magnetic field direction, which allowed us to identify the locations of the gap minima (or nodes) on the Fermi surface. Our results are consistent with the expectations of an extended s-wave model with a significant gap anisotropy on the electron pockets and the gap minima along the \Gamma M (or Fe-Fe bond) direction.Comment: 32 pages, 7 figure

Acoustic far-field hypersonic surface wave detection with single plasmonic nanoantennas

The optical properties of small metallic particles allow us to bridge the gap between the myriad of subdiffraction local phenomena and macroscopic optical elements. The optomechanical coupling between mechanical vibrations of Au nanoparticles and their optical response due to collective electronic oscillations leads to the emission and the detection of surface acoustic waves (SAWs) by single metallic nanoantennas. We take two Au nanoparticles, one acting as a source and the other as a receptor of SAWs and, even though these antennas are separated by distances orders of magnitude larger than the characteristic subnanometric displacements of vibrations, we probe the frequency content, wave speed, and amplitude decay of SAWs originating from the damping of coherent mechanical modes of the source. Two-color pump-probe experiments and numerical methods reveal the characteristic Rayleigh wave behavior of emitted SAWs, and show that the SAW-induced optical modulation of the receptor antenna allows us to accurately probe the frequency of the source, even when the eigenmodes of source and receptor are detuned